Reasoning about Sensors and Compositions
نویسندگان
چکیده
This paper discusses an OWL ontology for specifying sensors. The ontology is intended as the basis for the semantic representation of sensors and as the formal description for reasoning about sensors and observations. The paper describes the ontology, presents two example sensor descriptions and shows how standard reasoning and querying techniques can be used to perform tasks including classification and composition. In conjunction with the technical material the trade-offs required to express complex material in OWL is also discussed.
منابع مشابه
Short Paper: Semantic Sensor Composition
This paper describes an application of semantics to sensors to automatically create sensor compositions. Two main contributions of this paper are a sensor ontology and a composition system. The OWL ontology describes user goals, functional and non-functional properties of sensors and sensor composition, while the Region Connection Calculus and Allen’s Interval Algebra are used for describing th...
متن کاملReasoning About Compositions of Concerns
In this paper we propose a framework for defining and reasoning about compositions of concerns, based on multivalued logics. Rather than providing a small set of built-in composition operations, our framework provides a mechanism for constructing arbitrary types of composition. Our multi-valued logic model checker, chek allows us to reason about the properties of compositions of concerns.
متن کاملSupporting ubiquitous sensor-cloudlets and context-cloudlets: Programming compositions of context-aware systems for mobile users
Increasing widespread use of sensor and networking technologies are yielding ubiquitous sensors and applications that pervade daily life. At the same time, context-aware pervasive computing has experienced tremendous developments in terms of context modelling and reasoning, and applications. Such developments coupled with a cloud computing model are yielding sensor-cloudlets and contextcloudlet...
متن کاملThe Effect of Bayesian Reasoning Training on the Results of Clinical Reasoning Tests of Interns
Introduction: Clinical reasoning includes a range of thinking about clinical medicine at all stages of patient evaluation. Bayesian theory can be used to refute or confirm differential diagnoses in the clinical reasoning process. In this way, by learning the basic mathematical language of probability in medicine, we can change our beliefs according to new evidence. The aim of this study is to i...
متن کاملA Dataset for StarCraft AI and an Example of Armies Clustering
This paper advocates the exploration of the full state of recorded real-time strategy (RTS) games, by human or robotic players, to discover how to reason about tactics and strategy. We present a dataset of StarCraft games encompassing the most of the games’ state (not only player’s orders). We explain one of the possible usages of this dataset by clustering armies on their compositions. This re...
متن کامل